or(ket1, ket2) returns |yes> if ket1 or ket2 are |yes>, |no> otherwise. now implemented as: ( ket1 || ket2 )
or(|yes>, |yes>) |yes> or(|yes>, |no>) |yes> or(|no>, |no>) |no>